bool_1_summary 9,38
Definitions, theorems and tactics for the boolean 
type and boolean-related expressions.

origin